Goal-Directed Proof Theory: 21 (Applied Logic Series)
by Dov M. Gabbay,N. Olivetti
ISBN 13: 9780792364733
Format: Hardcover (284 pages) Publisher: Springer Published: 31 Aug 2000
Save for later